математическая модель системы, состояния которой меняются в дискретные моменты времени, причём каждое состояние системы полностью определяется предыдущим состоянием и входным сигналом. Д. а. формально описывается в виде функции
f (
si, aj) =
ak, где
si - входной сигнал, а
aj - предыдущее состояние. Типичный пример Д. а. -
Цифровая вычислительная машина, в которой состояние всех
Регистров и ячеек определяется их предыдущим состоянием и входными сигналами. Д. а. являются естественной формой описания логической структуры дискретных вычислительных устройств. Переход к недетерминированным автоматам возможен как путём введения вероятностей смены состоянии (см.
Вероятностный автомат), так и посредством свободного выбора следующего состояния.